-
1 интуиционистски истинный
Большой англо-русский и русско-английский словарь > интуиционистски истинный
-
2 intuitionistically valid
Математика: интуиционистски истинныйУниверсальный англо-русский словарь > intuitionistically valid
-
3 intuitionistically valid
English-Russian scientific dictionary > intuitionistically valid
См. также в других словарях:
ИНТУИЦИОНИСТСКАЯ ЛОГИКА — совокупность приемлемых с точки зрения интуиционизма методов доказательства утверждений. В более узком смысле под И. л. понимается интуиционистское исчисление предикатов, сформулированное А. Рейтингом (A. Heyting) в 1930. Это исчисление… … Математическая энциклопедия